{-# LANGUAGE FlexibleContexts #-}
module TestMultiSet where

import MultiSet.List
import qualified MultiSet.Class as M

-- In MultiSets polymorphe Funktionen
test :: M.MultiSet s Integer => s Integer
test = M.empty

test1 :: M.MultiSet s Integer => s Integer
test1 = 1 `M.insert` test

-- Festlegen der Implementierung/Instanz
test2 :: [Integer]
test2 = 1 `M.insert` test

test3 = 1 `M.insert` test ++ [2,3]

-- ++ [2,3] geht hier nicht mehr
test4 :: ListMultiSet Integer
test4 = 1 `M.insert` test
